Routine thymectomy, which has been performed